Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·8h·
Discuss: Hacker News
⚙Functional Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·17h·
Discuss: Hacker News
📝Lisp
Issue 489
haskellweekly.news·7h·
Discuss: Hacker News
⚙Functional Programming
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
🔄Category Theory
Object Reorientation: Generic Functions
gigamonkeys.com·19h·
Discuss: Hacker News
📝Lisp
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·15h
🔧Compiler Design
Stop Abstracting and Start Programming
dev.to·4h·
Discuss: DEV
🔍Static Analysis
Domain-Driven Design with TypeScript Decorators and Reflection
auslake.vercel.app·1h·
Discuss: r/programming
🏗️Software Architecture
The Little Book of Everything
github.com·3d·
Discuss: Hacker News
🧩Theorem Proving
Effects as Capabilities in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
The Data Backbone of LLM Systems
infoq.com·3h·
Discuss: Lobsters
🔧Compiler Design
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·3h·
Discuss: Hacker News
🔢Mathematical Logic
Python
technoption.com·7h·
Discuss: DEV
📝Lisp
How do you deal with "Expression produces a union type that is too complex to represent."?
reddit.com·1h·
Discuss: r/typescript
🧭SMT Solvers
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3h
⚙Functional Programming
DDD Studies: Between Fishermen and Developers Reflections on my initial studies in Domain-Driven Design
blog.codeminer42.com·23h
🏗️Software Architecture
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
🧩Theorem Proving
Kleene's Recursion Theorem
en.wikipedia.org·4d·
Discuss: Hacker News
⚙Functional Programming
Using C++ STL functions instead of loops – EasyHack
dev.blog.documentfoundation.org·5h
⚙Functional Programming
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·16h
🏗️Software Architecture